Search Results

[POPL'22] Oblivious Algebraic Data Types

[POPL'22] Oblivious Algebraic Data Types

Oblivious Algebraic Data Types (Teaser)

Oblivious Algebraic Data Types (Teaser)

[POPL'22] Type-Level Programming with Match Types

[POPL'22] Type-Level Programming with Match Types

[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and Tests

[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and Tests

[POPL'22] A Cost-Aware Logical Framework

[POPL'22] A Cost-Aware Logical Framework

[POPL'22] What's Decidable about Linear Loops?

[POPL'22] What's Decidable about Linear Loops?

[POPL'22] Observational Equality: Now for Good

[POPL'22] Observational Equality: Now for Good

[POPL'22] Formal Metatheory of Second-Order Abstract Syntax

[POPL'22] Formal Metatheory of Second-Order Abstract Syntax

[POPL 2021] On the Semantic Expressiveness of Recursive Types (full)

[POPL 2021] On the Semantic Expressiveness of Recursive Types (full)

Speakeasy JS - Type-Safe Errors with Algebraic Data Types (Giorgio Delgado)

Speakeasy JS - Type-Safe Errors with Algebraic Data Types (Giorgio Delgado)

PL Class: Algebraic data types

PL Class: Algebraic data types

[POPL 2021] PADL

[POPL 2021] PADL